This book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, ...
Lee masRather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program ...
Lee masThis book illustrates the benefits to be gained from digitally networked communication for health, education and transitioning ...
Lee masillustrates the benefits to be gained from digitally networked communication for health, education and transitioning economies ...
Lee masThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee masThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee masThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee masThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee masThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Lee masThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lee masThis book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...
Lee masThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee masThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee masThis book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
Lee masThis book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
Lee masThis book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
Lee masThis book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
Lee masThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
Lee masThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
Lee masThis book constitutes the refereed proceedings of the 19th International Conference on Cryptology and Network Security, CANS ...
Lee mas